Section: Partnerships and Cooperations

ANR Projects within Academics

• ProSe: Security protocols : formal model, computational model, and implementations.

  Participant : David Pointcheval.

  From December 2010 to November 2014.

  Partners: ENS Cachan-Inria/Secsi, LORIA-Inria/Cassis, Inria/Prosecco, Verimag.

  The goal of the project is to increase the confidence in security protocols, and in order to reach this goal, provide security proofs at three levels: the symbolic level, in which messages are terms; the computational level, in which messages are bitstrings; the implementation level: the program itself.

• ROMAnTIC: Randomness in Mathematical Cryptography.

  Participants : Damien Vergnaud, David Pointcheval, Adrian Thillard, Sylvain Ruhault.

  From October 2012 to September 2016.

  Partners: ANSSI, Univ. Paris 7, Univ. Paris 8.

  The goal of this project is to get a better understanding of the interplay between randomness and cryptography and to study the security of various cryptographic protocols at different levels (information-theoretic and computational security, number-theoretic assumptions, design and provable security of new and existing constructions).

• CLE: Cryptography from Learning with Errors.

  Participant : Vadim Lyubashevsky.

  From October 2013 to September 2017.

  Partners: UVSQ, Univ. Paris 8, Inria/SECRET.

  The main objective of this project is to explore the potential practical implications of the Learning with Errors problem and its variants. The plan is to focus on the constructions of essential primitives whose use is prevalent in the real world. Toward the end of the project, the hope is to propose and standardize several public key and symmetric key schemes that have specific advantages over ones that are currently deployed.